eda asic navigation cad implied intent fpga analog model checking garmin formal methods design magellan soc hierarchical verification testing take gps
